Descriptive complexity

Results: 93



#Item
31Complexity classes / Computability theory / Quantum complexity theory / Descriptive complexity / Kolmogorov complexity / PP / FO / Function / NP / Theoretical computer science / Computational complexity theory / Applied mathematics

Two Lectures on Advanced Topics in Computability Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed]

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:25:17
32SO / Prahran /  Victoria / Moorabbin /  Victoria / Human resource management / Mathematics / Computational complexity theory / Descriptive complexity / Finite model theory

SVTS Enrolment Completions by Units of Competency 2012

Add to Reading List

Source URL: www.taskforce.org.au

Language: English - Date: 2013-07-04 00:47:56
33Computing / Email / Descriptive complexity / Query

Tier 2 Classification Query Request Form Contact details of query submitter: Name Enter name Jurisdiction

Add to Reading List

Source URL: www.ihpa.gov.au

Language: English - Date: 2014-04-10 22:58:13
34Query languages / Relational database management systems / Descriptive complexity / Query / K / SQL / Bin / Bx-tree / Advanced Query Tool / Computing / Data management / Software engineering

MTopS: Scalable Processing of Continuous Top-K Multi-Query Workloads Avani Shastri, Di Yang, Elke A. Rundensteiner and Matthew O. Ward Dept. of Computer Science, WPI Worcester, MA, USA

Add to Reading List

Source URL: davis.wpi.edu

Language: English - Date: 2011-10-20 16:12:12
35Information theory / Randomness / Computability theory / Descriptive complexity / Kolmogorov complexity / Specified complexity / Complexity / Algorithmic information theory / PP / Theoretical computer science / Science / Applied mathematics

45th Southeastern Symposium on System Theory Baylor University, Waco, TX, USA, March 11, 2013 On the Improbability of Algorithmic Specified Complexity Winston Ewert & Robert J. Marks II

Add to Reading List

Source URL: robertmarks.org

Language: English - Date: 2013-06-10 20:34:50
36HO / Computational complexity theory / Descriptive complexity / Finite model theory

MOUNT CLUNIE NP MOUNT NOTHOFAGUS

Add to Reading List

Source URL: www.abc.net.au

Language: English - Date: 2013-03-25 20:48:11
37Computational complexity theory / Descriptive complexity / Science / Abstraction / Complexity / NL / SO / Mathematics / Applied mathematics / Complex systems theory / Systems

Grant R305F100007 Year of Study: 2014 Title: Text complexity: state of the art and conundrums it raises Authors: Goldman, S. R., & Lee, C. D. Citation: Goldman, S. R., & Lee, C. D[removed]Commentary on text complexity:

Add to Reading List

Source URL: www.projectreadi.org

Language: English - Date: 2014-12-19 16:20:45
38Metalogic / Computational complexity theory / Proof theory / Descriptive complexity / Finite model theory / Quantification / Model theory / Decidability / Well-formed formula / Logic / Theoretical computer science / Mathematical logic

Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar

Add to Reading List

Source URL: www.pfeifer-research.de

Language: English - Date: 2013-05-07 12:35:07
39Descriptive complexity / SO / Dutch East India Company / FO / 2nd millennium / Netherlands / Finite model theory / Mathematics / Computational complexity theory

Microsoft Word - DPO.docx

Add to Reading List

Source URL: educationhp.org

Language: English - Date: 2014-03-29 14:11:37
40Finite model theory / Ontology / Descriptive complexity / Conjunctive query / Database theory / Computational complexity theory / Conjunctive normal form / FO / Description logic / Theoretical computer science / Mathematics / Mathematical logic

Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2009-08-06 19:21:15
UPDATE